Lecture 35: More on One Sided Communication William Gropp www.cs.illinois.edu/~wgropp Synchronization in MPI RMA

Source URL: wgropp.cs.illinois.edu

• Concurrency control
• Parallel computing
• Communication
• Concurrency
• Synchronization
• Thread
• File locking
• Lock
• Critical section
• Message Passing Interface

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 11, NO. 6, NOVEMBERIDECEMBERData Consistency in Intermittently Connected Distributed Systems

Source URL: www.cs.uoi.gr

• Transaction processing
• Data management
• Concurrency control
• Serializability
• Schedule
• Database transaction
• Quorum
• Extensible Storage Engine
• Consistency
• Data consistency
• Replication
• Weak consistency

THE FIRST CORRECT CONCURRENCY CONTROL ALGORITHM JAMES SMITH e-mail address: Imperial College London Abstract. We present for the first time a complete solution to the problem of proving

Source URL: djalbat.com

Fast In-memory Transaction Processing using RDMA and HTM Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen Shanghai Key Laboratory of Scalable Computing and Systems Institute of Parallel and Distributed Systems,

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Transaction processing
• Data management
• Concurrency control
• Software
• Databases
• Remote direct memory access
• Software transactional memory
• Serializability
• Two-phase locking
• Isolation
• Extensible Storage Engine

Using Contracts to Guide the Search-Based Verification of Concurrent Programs Christopher M. Poskitt1 and Simon Poulding2 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Concurrent computing
• Edsger W. Dijkstra
• Object-oriented programming languages
• Concurrent programming languages
• Concurrency
• Concurrent data structure
• Thread
• SCOOP

SyncProf: Detecting, Localizing, and Optimizing Synchronization Bottlenecks Tingting Yu Michael Pradel

Source URL: mp.binaervarianz.de

• Concurrency control
• Computing
• Software engineering
• Economy
• Software optimization
• Edsger W. Dijkstra
• Network performance
• Communication
• Synchronization
• Bottleneck
• Lock
• Mutual exclusion

Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

Source URL: plv.mpi-sws.org

• Concurrency control
• Computer architecture
• Computing
• Software
• Read-copy-update
• Memory barrier
• Linearizability
• Mutual exclusion
• Synchronization
• Futures and promises

Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri

Source URL: ipads.se.sjtu.edu.cn

• Transaction processing
• Concurrency control
• Data management
• Databases
• Software transactional memory
• Database transaction
• Serializability
• Extensible Storage Engine
• Linearizability
• Transactional memory
• Optimistic concurrency control
• Atomicity

Performance Evaluation of Adaptivity in Software Transactional Memory Mathias Payer ETH Zurich, Switzerland Abstract—Transactional memory (TM) is an attractive platform for parallel programs,

Source URL: hexhive.github.io

• Concurrency control
• Computing
• Transaction processing
• Data management
• Information science
• Software transactional memory
• Lock
• Non-blocking algorithm
• Transactional memory
• Linearizability
• Critical section
• Synchronization

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

Source URL: www.srl.inf.ethz.ch

• Computing
• Network architecture
• Network protocols
• OpenFlow
• Software-defined networking
• Local area networks
• Nox
• Open vSwitch
• Firewall
• Forwarding plane
• Transmission Control Protocol